/*-------------------------------------------------------------------------
   Copyright (C) 2011 One Laptop per Child
 ------------------------------------------------------------------------- */

void kbd_watch_init(void);
void kbd_watch_set_input(void);
void kbd_watch_process(void);

